package edu.gatech.cc.concolic;


import java.util.Collection;
import java.util.List;

import edu.gatech.cc.concolic.constraint.Constraint;
import edu.gatech.cc.concolic.expression.SymbolicVariable;

public interface ProblemGenerator {
	
	public static String CONFIG_OUTFILE = "outfile";
	
	public void addConstraint(Constraint constraint);
	public void addConstraints(List<Constraint> constraints);
	public void addConstraints(Constraint ...constraints);

	public void addConstraint(Constraint constraint, String location);
	
	public void addVariable(SymbolicVariable variable);
	public void addVariables(Collection<SymbolicVariable> variables);
	public void addVariables(SymbolicVariable... variables);
	
	public void close();
}
